From 1a251c6632c6a5643ccdcffc3414fde38c60722d Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Thu, 31 Aug 2006 22:53:46 +0100 Subject: [PATCH] [XEN] Use vcpu_info pointer in vcpu structure. Signed-off-by: Jan Beulich --- xen/arch/x86/time.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c index 7ead025e18..6191af3ef3 100644 --- a/xen/arch/x86/time.c +++ b/xen/arch/x86/time.c @@ -676,7 +676,7 @@ static inline void __update_vcpu_system_time(struct vcpu *v) struct vcpu_time_info *u; t = &this_cpu(cpu_time); - u = &v->domain->shared_info->vcpu_info[v->vcpu_id].time; + u = &v->vcpu_info->time; version_update_begin(&u->version); @@ -690,7 +690,7 @@ static inline void __update_vcpu_system_time(struct vcpu *v) void update_vcpu_system_time(struct vcpu *v) { - if ( v->domain->shared_info->vcpu_info[v->vcpu_id].time.tsc_timestamp != + if ( v->vcpu_info->time.tsc_timestamp != this_cpu(cpu_time).local_tsc_stamp ) __update_vcpu_system_time(v); } -- 2.30.2